Basic science

Results: 4014



#Item
481

Introduction The Third Science and Technology Basic Plan, started in fiscal 2006, calls for science and technology to be "supported by the public and to benefit society" as its primary tenet. Based on the Science and Tec

Add to Reading List

Source URL: www.mext.go.jp

Language: English - Date: 2015-04-20 21:11:05
    482

    BRICS Basic Research in Computer Science BRICS RSG. Winskel: A Linear Metalanguage for Concurrency A Linear Metalanguage for Concurrency

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1999-02-24 18:14:31
      483

      BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: On the Impact of the CPS Transformation Syntactic Accidents in Program Analysis:

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-02-26 07:48:22
        484

        BRICS Basic Research in Computer Science BRICS RSJ. Srba: Note on the Tableau Technique for Commutative Transition Systems Note on the Tableau Technique for

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2002-01-11 08:42:18
          485

          BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Semantics, Modularity, and Rewriting Logic Semantics, Modularity, and Rewriting Logic

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1999-03-25 08:38:10
            486

            BRICS Basic Research in Computer Science BRICS RS-01-9 Brabrand et al.: Static Validation of Dynamically Generated HTML

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2001-03-14 07:49:29
              487

              BRICS RS-06-3 Biernacka & Danvy: A Concrete Framework for Environment Machines BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2006-02-27 06:08:28
                488

                BRICS Basic Research in Computer Science BRICS RSAceto et al.: A Cook’s Tour of Equational Axiomatizations for Prefix Iteration A Cook’s Tour of

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 1999-03-21 20:54:51
                  489

                  BRICS Basic Research in Computer Science ¨ BRICS NS-98-5 Huttel & Nestmann (eds.): SOAP ’98 Proceedings

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1998-06-17 09:46:52
                    490

                    BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1998-01-14 02:47:50
                      UPDATE